Zaïdi, Fatiha: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 520 KB

english, 2015

2

[IEEE 2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA) - MANETs Interoperability: Current Trends and Open Research

Alvarez Aldana, Jose Alfredo, Maag, Stephane, Zaidi, Fatiha

Year:

2018

Language:

english

File:

PDF, 129 KB

english, 2018

3

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 ||

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 25.22 MB

english, 2015

4

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Mastering the Visualization of Larger State Spaces with Projection Diagrams

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 2.27 MB

english, 2015

5

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 270 KB

english, 2015

6

[IEEE 2008 4th International Conference on Next Generation Web Services Practices (NWESP) - Seoul, Korea (2008.10.20-2008.10.22)] 2008 4th International Conference on Next Generation Web Services Practices - Transforming BPEL into Intermediate Format Language for Web Services Composition Testing

Lallali, Mounir, Zaidi, Fatiha, Cavalli, Ana

Year:

2008

Language:

english

File:

PDF, 154 KB

english, 2008

7

[IEEE 2010 IEEE International Conference on Web Services (ICWS) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Web Services - WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition

Cavalli, Ana, Cao, Tien-Dung, Mallouli, Wissam, Martins, Eliane, Sadovykh, Andrey, Salva, Sebastien, Zaïdi, Fatiha

Year:

2010

Language:

english

File:

PDF, 922 KB

english, 2010

8

[IEEE 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System SITIS - Shanghai, China (2007.12.16-2007.12.18)] 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System - Timed Modeling of Web Services Composition for Automatic Testing

Lallali, Mounir, Zaidi, Fatiha, Cavalli, Ana

Year:

2007

Language:

english

File:

PDF, 432 KB

english, 2007

9

A passive testing approach based on invariants: application to the WAP

Emmanuel Bayse, Ana Cavalli, Manuel Núñez, Fatiha Zaïdi

Journal:

Computer Networks

Year:

2005

Language:

english

File:

PDF, 726 KB

english, 2005

10

[IEEE 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Automatic skeleton generation for data-aware service choreographies

Nguyen, Huu Nghia, Poizat, Pascal, Zaidi, Fatiha

Year:

2013

Language:

english

File:

PDF, 621 KB

english, 2013

11

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || A Logical Approach for Behavioural Composition of Scenario-Based Models

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 407 KB

english, 2015

12

Une plate-forme de validation multi-protocoles et multi-services Résultats d’expérimentation

Pierre Combes, Wei Monin, Ana Cavalli, Amel Mederreg, Fatiha Zaïdi, Richard Castanet, Marcien Mackaya, Patrice Laurençot

Journal:

annals of telecommunications - annales des télécommunications

Year:

2005

File:

PDF, 3.03 MB

2005

13

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7019 || Improved Usage Model for Web Application Reliability Testing

Wolff, Burkhart, Zaïdi, Fatiha

Year:

2011

Language:

english

File:

PDF, 791 KB

english, 2011

14

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Invariants for finite instances and beyond

Conchon, Sylvain, Goel, Amit, Krstic, Sava, Mebsout, Alain, Zaidi, Fatiha

Year:

2013

Language:

english

File:

PDF, 311 KB

english, 2013

15

[IEEE 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Taipei, Taiwan (2017.3.27-2017.3.29)] 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Model-Based Attack Tolerance

Ouffoue, Georges, Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir

Year:

2017

Language:

english

File:

PDF, 593 KB

english, 2017

16

[IEEE 2017 IEEE International Conference on Web Services (ICWS) - Honolulu, HI, USA (2017.6.25-2017.6.30)] 2017 IEEE International Conference on Web Services (ICWS) - How Web Services Can Be Tolerant to Intruders through Diversification

Ouffoue, Georges, Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir

Year:

2017

Language:

english

File:

PDF, 394 KB

english, 2017

17

[IEEE 2009 IEEE International Conference on Pervasive Computing and Communications (PerCom) - Galveston, TX, USA (2009.03.9-2009.03.13)] 2009 IEEE International Conference on Pervasive Computing and Communications - A formal passive testing approach to test a MANET routing protocol

Cavalli, Ana, Maag, Stephane, de Oca, Edgardo Montes, Zaidi, Fatiha

Year:

2009

Language:

english

File:

PDF, 163 KB

english, 2009

18

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7019 || A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain

Wolff, Burkhart, Zaïdi, Fatiha

Year:

2011

Language:

english

File:

PDF, 350 KB

english, 2011

19

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || B for Modeling Secure Information Systems

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 1.54 MB

english, 2015

20

[ACM Press the ACM international workshop - Terromolinos, Spain (2006.10.02-2006.10.02)] Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks - PM2HW2N '06 - Testing methodology for an ad hoc routing protocol

Maag, Stéphane, Zaidi, Fatiha

Year:

2006

Language:

english

File:

PDF, 190 KB

english, 2006

21

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Passive conformance testing of service choreographies

Nguyen, Huu Nghia, Poizat, Pascal, Zaïdi, Fatiha

Year:

2012

Language:

english

File:

PDF, 709 KB

english, 2012

22

[IEEE 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW) - Nara, Japan (2016.6.27-2016.6.30)] 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW) - Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach

Ouffoue, Georges, Ortiz, Antonio M., Cavalli, Ana R., Mallouli, Wissam, Domingo-Ferrer, Josep, Sanchez, David, Zaidi, Fatiha

Year:

2016

Language:

english

File:

PDF, 3.70 MB

english, 2016

23

Application of a formal testing methodology to wireless telephony networks

Ana Cavalli, Amel Mederreg, Fatiha Zaidi

Journal:

Journal of the Brazilian Computer Society

Year:

2004

Language:

english

File:

PDF, 1.16 MB

english, 2004

24

[IEEE 2008 IEEE Sixth European Conference on Web Services (ECOWS) - Dublin, Ireland (2008.11.12-2008.11.14)] 2008 Sixth European Conference on Web Services - Automatic Timed Test Case Generation for Web Services Composition

Lallali, Mounir, Zaidi, Fatiha, Cavalli, Ana, Hwang, Iksoon

Year:

2008

Language:

english

File:

PDF, 207 KB

english, 2008

25

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 1.31 MB

english, 2015

26

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Refinement-Based Verification of the FreeRTOS Scheduler in VCC

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 469 KB

english, 2015

27

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Domain-Specific Languages with Scala

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 1.54 MB

english, 2015

28

[IEEE 2014 21st Asia-Pacific Software Engineering Conference (APSEC) - Jeju, South Korea (2014.12.1-2014.12.4)] 2014 21st Asia-Pacific Software Engineering Conference - A Framework for Distributed Testing of Timed Composite Systems

Nguyen, Huu Nghia, Zaidi, Fatiha, Cavalli, Ana

Year:

2014

Language:

english

File:

PDF, 313 KB

english, 2014

29

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Verification of Interoperability Security Policies by Model Checking

Maarabani, Mazen El, Cavalli, Ana, Hwang, Iksoon, Zaidi, Fatiha

Year:

2011

Language:

english

File:

PDF, 189 KB

english, 2011

30

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Formal Analysis of Power Electronic Systems

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 978 KB

english, 2015

31

One step forward

Viana, Aline Carneiro, Maag, Stephane, Zaidi, Fatiha

Journal:

ACM Computing Surveys

Year:

2011

Language:

english

File:

PDF, 476 KB

english, 2011

32

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7019 || Conformance Relations for Distributed Testing Based on CSP

Wolff, Burkhart, Zaïdi, Fatiha

Year:

2011

Language:

english

File:

PDF, 247 KB

english, 2011

33

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Network protocol interoperability testing based on contextual signatures and passive testing

Zaidi, Fatiha, Bayse, Emmanuel, Cavalli, Ana

Year:

2009

Language:

english

File:

PDF, 309 KB

english, 2009

34

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || A Recursive Probabilistic Temporal Logic

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 350 KB

english, 2015

35

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || SysML Blocks Adaptation

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 1.26 MB

english, 2015

36

[IEEE 2017 IEEE International Conference on Services Computing (SCC) - Honolulu, HI, USA (2017.6.25-2017.6.30)] 2017 IEEE International Conference on Services Computing (SCC) - An Attack-Tolerant Framework for Web Services

Ouffoue, Georges L.A., Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir

Year:

2017

Language:

english

File:

PDF, 186 KB

english, 2017

37

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

Nguyen, Huu Nghia, Poizat, Pascal, Zaidi, Fatiha

Year:

2012

Language:

english

File:

PDF, 324 KB

english, 2012

38

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Formalization and Verification of Declarative Cloud Orchestration

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

39

[IEEE 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA) - Cambridge, Boston, MA, USA (2016.10.31-2016.11.2)] 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA) - MANETs monitoring with a distributed hybrid architecture

Alvarez, Jose, Maag, Stephane, Zaidi, Fatiha

Year:

2016

Language:

english

File:

PDF, 146 KB

english, 2016

40

[IEEE 2010 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Hammamet, Tunisia (2010.05.16-2010.05.19)] ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 - A component based testing technique for a MANET routing protocol

Zaidi, Fatiha, Lallali, Mounir, Maag, Stephane

Year:

2010

Language:

english

File:

PDF, 157 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски